Nuprl Definition : nsgrp_of_ideal
13,42
postcript
pdf
nsgrp_of_ideal(
a
) ==
a
latex
Up
rings
1
Wellformedness Lemmas
nsgrp
of
ideal
wf
origin